Exploiting Architecture in Scenario-Based Model Synthesis

Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task that requires expertise in formal languages and their semantics. Our aim is to support the construction of behaviour models. In this paper we combine a scenario synthesis approach with an architecture description language to automatically build behaviour models. The scenario synthesis provides simple, intuitive, example based description of behaviour of component instances in a specific architecture instance. The architecture description gives the necessary information for component instance behaviour to be generalised to component type behaviour. It can also provide the potential architecture in which the generalised behaviours could be instantiated. Exploiting architecture in scenario-based model synthesis allows the construction of significantly more complex system models. Further, it supports model elaboration by instantiating the behaviour described in simple architectures in more complex ones.